Store (coalg . set a) (get a)